/*
 * DEBC1.h
 *
 *  Created on: 17/11/2012
 *      Author: Richard
 */

#ifndef DEBC1_H_
#define DEBC1_H_

#include "DEBCE.h"
#include "../../Driver/DIO/DIOC1.h"

void DEB_vReset( void );
void DEB_vSetAppRequest( DIO_tenPinName enPin );
bool DEB_boStartDebounce( void );
DIO_tenLogicLevel DEB_enGetLevel( DEB_tenInput enInput );

#endif /* DEBC1_H_ */
